1. Using sophisticated models in resolution theorem proving
المؤلف: Sandford, David M.
المکتبة: (طهران)
موضوع: ، Automatic theorem proving,Data processing ، Mathematics
رده :
QA
76
.
L28
Vol
.
90
2. Using sophisticated models in resolution theorem proving
المؤلف: Sandford, David M.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Automatic theorem proving,Data processing ، Mathematics
رده :
QA
76
.
9
.
A96
.
S36
1980
3. Using sophisticated models in resolution theorem proving
المؤلف: Sandford, David M.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Automatic theorem proving,، Mathematics - Data processing
رده :
QA
76
.
L4
v
.
90
